package controller;

import java.io.File;

public interface IController {

	//directory
	public boolean changeSolverDirectory(File directory);
	public boolean changePreProcessorDirectory(File directory);
	public boolean changeDefaultCNFDirectory(File directory);
	
	//execution
	
	
}
